Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·1h
🔧Scheme Macros
Algebraic Types are not Scary
blog.aiono.dev·19h·
Discuss: Lobsters, Hacker News, r/programming
✅Type Checking
Hyper-Specific Sub-Field: **Fuzzing for IoT Firmware Reverse Engineering**
dev.to·3h·
Discuss: DEV
🧪Compiler Testing
ECMAScript TC39 proposal-pattern-matching
github.com·15h·
Discuss: Hacker News
🎯Pattern Matching
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·10h·
Discuss: Hacker News
🔗Lexical Scoping
libvips v8.18.0 Function Pointer Type Confusion in libvips Callback Dispatch
seclists.org·2h
📦Closure Conversion
What is Algebraic about Algebraic Effects?
interjectedfuture.com·13h
💫Effect Systems
How to Debug Chez Scheme Programs (2002)
scheme.com·8h·
Discuss: Hacker News
💬Error Message Design
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·1d·
Discuss: Hacker News
⚡functional programming
Genkit Go 1.0: Google brings stable AI framework to the Go ecosystem
heise.de·11h
📋Tablegen
Typescript : Generic Data Fetch
dev.to·1h·
Discuss: DEV
🔧API Design
LLM in the Middle: A Systematic Review of Threats and Mitigations to Real-World LLM-based Systems
arxiv.org·1h
🔍ML Language
I made a library to stop writing giant switch statements for Go errors
reddit.com·4h·
Discuss: r/golang
🛡️Error Handling
The Capability-Tractability Tradeoff (2023)
buttondown.com·3d·
Discuss: Hacker News
⚡Partial Evaluation
Safepoints and Fil-C
fil-c.org·54m·
Discuss: Hacker News
🎯Ring Buffers
The pirate-based logic of Rust shared references
ais523.me.uk·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Rust Borrowing
Asynchronous Exceptions in Practice (2017)
simonmar.github.io·10h·
Discuss: Hacker News
🔗Concurrency Primitives
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·2d·
Discuss: Hacker News
🎯Type Theory
List Vs. Tuple: Understanding The Differences In Python - Maine News Online
mainenewsonline.com·21h
🐍CPython Internals